$\forall$$t$:$\mathbb{N}$, $w$:World, ${\it ln}$:IdLnk. 0$<\parallel$queue(${\it ln}$;$t$)$\parallel$ $\Rightarrow$ mlnk(hd(queue(${\it ln}$;$t$))) $=$ ${\it ln}$